[submission Coversheet]
نویسندگان
چکیده
Time is a crucial variable in military operations and rapid decisions based on current information leading to swift action are essential. However, there are many challenges to be faced in modelling the behaviour of socio-technical systems over time, principally because the complexity inherent in such systems can be difficult to express. In the present paper we discuss a candidate solution to this problem, the event calculus (EC), a form of temporal logic that affords the analyst considerable latitude of expression to create a detailed representation that can be formally tested. Whilst the core model itself is useful as a formal specification of a system, it is most powerful when used as a basis for automated reasoning to predict, abduct and postdict within the specified constraints. Thus, we can test the system model against alternative descriptions of operational context to see how the proposed system performs and automatically generate plausible narratives that expose both opportunities for enhanced effectiveness and potentially dangerous error-modes. An example of the modelling and subsequent analysis of a targeting decision chain is provided and the prospect of repurposing the EC model as part of a situationallyaware process management tool to aid command staff is discussed.
منابع مشابه
(54) Techniques for Generating a Coversheet for a Paper-based Interface for Multimedia Information
(51) Int. Cl. G06F 3/00 (2006.01) G06F 3/14 (2006.01) (52) U.S. Cl. ...................... 715/838; 715/716; 715/719; 715/839; 715/500.1; 358/1.1 (58) Field of Classification Search ................ 3451700, 345/716,717,719,727,764,835,838,839, 345/855; 358/1.1,1.15,1.18,530,540; 705/55; 715/500.1,501.1,500,513,479,700,716, 715/717,719,727,764,835,838,839,855, 715/526,527 See application file f...
متن کاملCover sheets considered harmful
The spread of the cover sheet is a divisive phenomenon. Their appearance is geographically bound and their content situated in the local political and financial context. In this article we discuss the arguments for and against the coversheet in its guise as a fixture on institutional repository preprints, exploring the issue through statistical information gathered from survey material and from...
متن کاملIntroducing genbank of national center for biotechnoligy information: the process of submission and registration of gen sepuance
This article has no abstract.
متن کاملThe Sociological Analysis of Women’s Social Identity A Qualitative Research in Hashjin City (Khalkhal)
Identity and other issues related to it is one the most important matters in human’s life. Identity is a complex and multi-dimensional issue; so studying it, considering its importance in different aspects of life, is rough. The main aim of this study is recognizing the effective factors on social identity as well as understanding the imagination and narration of women of themselves. With the u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010